proving maluss law